//]]>
Unhighlight Highlight
A common case study for aspect-oriented modeling /   Publication: Berlin : Springer, 2010 . xi, 422 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
No cover image available
Formal methods for industrial critical systems : , 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /   Publication: Berlin : Springer, 2010 . xii, 230 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computer aided verification : 22nd international conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings / , 22nd International Conference, Cav 2010, Edinburgh, UK, July 15-19, 2010, proceedings /   Publication: Berlin : Springer, 2010 . xvi, 676 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Foundations of computer software : , future trends and techniques for development : 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, revised selected papers /   Publication: Berline : Springer, 2010 . viii, 274 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Requirements engineering : , foundation for software quality : 16th International Working Conference, Refsq 2010, Essen, Germany, June 30-July 2, 2010. proceeding /   Publication: Berlin : Springer, 2010 . xi, 280 p. : Date:2010 Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Abstract state machines, Alloy, B And Z : , Second International Conference, ABZ 2010 Orford, QC, Canada, February 22-25, 2010 : Proceedings /   Publication: Berlin : Springer, 2010 . xiv, 416 p. : Date:2010 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
Advanced Parallel Processing Technologies by Wu, Chenggang. Publication: . XII, 410 p. 187 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Computational Geometry and Graphs by Akiyama, Jin. Publication: . X, 163 p. 59 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Combinatorial Algorithms by Lecroq, Thierry. Publication: . XXII, 474 p. 135 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Cryptography and Coding by Stam, Martijn. Publication: . XII, 365 p. 39 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Artificial Intelligence and Its Applications by Castro, Félix. Publication: . XXVI, 585 p. 139 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Soft Computing and Its Applications by Castro, Félix. Publication: . XXVI, 535 p. 174 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Web and Internet Economics by Chen, Yiling. Publication: . XIV, 440 p. 25 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Graph-Theoretic Concepts in Computer Science by Brandstädt, Andreas. Publication: . XX, 430 p. 114 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Algorithms and Computation by Cai, Leizhen. Publication: . XVIII, 747 p. 145 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Theory and Practice of Natural Computing by Dediu, Adrian-Horia. Publication: . X, 241 p. 83 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Learning and Intelligent Optimization by Nicosia, Giuseppe. Publication: . XV, 470 p. 120 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Multi-disciplinary Trends in Artificial Intelligence by Ramanna, Sheela. Publication: . XIV, 342 p. 125 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Cryptology - ASIACRYPT 2013 by Sako, Kazue. Publication: . XXIV, 542 p. 58 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Advances in Cryptology - ASIACRYPT 2013 by Sako, Kazue. Publication: . XXIV, 546 p. 82 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية